элементарная процедура

См. также в других словарях:

• элементарная процедура — (МСЭ Т Q.1741). [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN elementary procedureEP …   Справочник технического переводчика

• Математика — Евклид. Деталь «Афинской школы» Рафаэля Математика (от др. греч …   Википедия

• Банковский чек — (Bank check) Определение банковского чека, виды чеков, содержание чека Информация об определении банковского чека, виды чеков, содержание чека Содержание Содержание Определение Виды и Понятие и юридическая природа чека Содержание чека Отношения… …   Энциклопедия инвестора

• Квантовая теория поля —          Квантовая теория поля квантовая теория систем с бесконечным числом степеней свободы (полей физических (См. Поля физические)). К. т. п., возникшая как обобщение квантовой механики (См. Квантовая механика) в связи с проблемой описания… …   Большая советская энциклопедия

• Список генетических терминов — Эта страница глоссарий. См. также: Список генетических пороков развития и заболеваний Термины генетики в алфавитном поряд …   Википедия

• ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно …   Философская энциклопедия

• БУЛЕВЫХ ФУНКЦИИ МИНИМИЗАЦИЯ — представление булевых функций нормальными формами (см. Булевых функций нормальные формы). простейшими относительно нек рой меры сложности. Обычно под сложностью нормальной формы понимается число букв в ней. В этом случае простейшая форма наз.… …   Математическая энциклопедия

• Общение — У этого термина существуют и другие значения, см. Общение (значения). Сюда перенаправляется запрос «Коммуникация (психология)». На эту тему нужна отдельная статья …   Википедия

• разрешимая теория — теория, для которой существует эффективная процедура (алгоритм), позволяющая о каждом утверждении, сформулированном в терминах этой теории, решить, выводимо оно в теории или нет (см.: Разрешения проблема). Р. т. являются, напр., элементарная… …   Словарь терминов логики

• Страхование — I Теория С. Страховая политика. История страхования. История страхования в России. Синдикатное соглашение страховых от огня обществ. Виды страхования. Страхование от огня. Страхование от градобития. Страхование скота. Транспортное страхование.… …   Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона

• ГЕДЕЛЬ Курт — (Godel, Kurt) (1906 1978), австрийский логик и математик, автор фундаментального открытия, показавшего ограниченность аксиоматического метода. Родился 28 апреля 1906 в Брно. В 1924 поступил в Венский университет, в 1930 защитил докторскую… …   Энциклопедия Кольера